Formal analysis - PDFSEARCH.IO - Document Search Engine

Formal analysis
Results: 1589

#	Item
411	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: ftp.osuosl.org Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
412	Learning Analytics: Envisioning a Research Discipline and a Domain of Practice George Siemens Technology Enhanced Knowledge Research Institute Athabasca University Edmonton, AB T5J 3S8 Add to Reading List Source URL: learninganalytics.net Language: English - Date: 2012-04-24 07:48:11 Formal sciences Business intelligence Learning Data analysis Analytics Learning analytics Data mining ADAPA Big data Science Knowledge Data management
413	Revolution: Data + People Joe Hellerstein, CEO of Trifacta The future is already here — it’s just not very evenly distributed. — William Gibson Add to Reading List Source URL: www.trifacta.com Language: English - Date: 2014-10-02 11:26:52 Formal sciences Emerging technologies Data analysis Scientific method Human–computer interaction User interface Machine learning Big data Oracle Data Mining Technology Science Data management
414	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: www.icesi.edu.co Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
415	Data Mining for W ater Resource Management Part 2 ± Methods and A pproaches to Solving Contemporary Problems Edwin A. Roehl, Jr.1 and Paul A. Conrads2 ____________________________________________________________________ Add to Reading List Source URL: advdmi.com Language: English - Date: 2014-01-16 13:36:31 Ethology Knowledge Data analysis Artificial neural network Computational neuroscience Data mining Time series Hydrology Economic model Formal sciences Cybernetics Science
416	i i “program” — — 10:23 — page 1 — #1 i Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2005-05-10 08:56:12 Ada programming language Software architecture Systems architecture Formal methods Ada SPARK Architecture Analysis & Design Language Ravenscar profile Real-time computing Computing Software engineering Computer programming
417	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: mirror.its.dal.ca Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
418	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: cran.fiocruz.br Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
419	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: cran.at.r-project.org Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
420	IJTM/IJCEE PAGE TEMPLATEv2 Add to Reading List Source URL: www.organic-lingua.eu Language: English - Date: 2013-04-11 07:18:49 Education Data analysis Information Data management Knowledge representation Google Analytics Data mining Learning analytics Analytics Formal sciences Knowledge Web analytics

UPDATE